MROOT = $(PWD)/..
EXEC      = minisat
DEPDIR    = mtl utils 

include $(MROOT)/mtl/template.mk
